package interfaces.gestores;

import interfaces.ICliente;
import tdg.contract.semanticAnnotations.Model;
import tdg.contract.semanticAnnotations.Query;
import tdg.contract.semanticAnnotations.Pre;
import tdg.contract.semanticAnnotations.Pos;

@Model
public interface IGestorClientesModel {
	@Query
	@Pre ({"c!=null #NullPointerException"})
	public boolean clienteRegistrado(ICliente c);
}
